Object-oriented workflow formalization
نویسندگان
چکیده
UML 2.0 Activity partition is very convenient for modeling workflows. However, it still lacks tools and a well-defined semantic basis allowing formal verification and validation tasks. To assure these tasks we propose to transform the activity diagrams to Object Petri Nets. For a more precise checking, we perform the specification and the verification considering objects identified by identities and attribute values. Thus, we suggest to use the object and sequence diagrams to deal with the static and dynamic initializations, respectively. A case study is given to illustrate this technique.
منابع مشابه
A Rule-Based Workflow Approach for Service Composition
With the frequent changes in recent business and scientific environment, more efficient and effective workflow infrastructure is required. Besides, with increasing emphasis on Service-oriented architecture, service composition becomes a hot topic in workflow research. This paper proposes a novel approach of using ECA rules to realize the workflow modeling and implementation for service composit...
متن کاملA Formalization of Objects Using Equational Dynamic Logic
Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic objects. Special attention is paid to different concepts of encapsulation that play a role in object-orientation. It is argued that the resulting language, CMSL, meets those requirements of the object-oriented database system manifesto [6] that are applicable to object-oriented conceptual models...
متن کاملFormal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System
While the different aspects of flexible workflow management are still under discussion, the ability to adapt the structure of running workflow instances to modified workflow schemas is an important property of a flexible workflow management system. In this paper we present the formal foundation and conceptual design of dynamic adaptations in an object-oriented workflow management system. We des...
متن کاملTriGSflow Active Object-Oriented Workflow Management
We present the multi-paradigm architecture TriGSflow for a workflow management system. TriGSflow is based on an active extension of the commercial object-oriented database system GemStoneTM. TriGSflow takes full advantage of the capabilities of the underlying database system such as reliability, recovery, transaction management, and authorization. At the current stage of implementation the nove...
متن کاملPatterns of Workflow Management Facility
The OMG has issued a Request for Proposal for a workflow management facility for the Object Management Architecture Reference Model. The two responses are complex object-oriented designs. Unfortunately, they both ignore recent work in object-oriented design patterns. Using these patterns will correct some of the deficiencies in the proposals.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006